CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 10 of 10 Results
1.
Formal Modeling And Analysis Of Timed Systems First International Workshop, FORMATS 2003, Ma...
Formal Modeling And Analysis Of Timed Systems First International Workshop, FORMATS 2003, Ma... by Larsen, Kim G., Niebert, Peter ISBN: 9783540216711 List Price: $63.00
$6.89 (Save 89%)
2.
Quantitative Model-Based Analysis of Real-Time Embedded Systems : The Quasimodo Project
Quantitative Model-Based Analysis of Real-Time Embedded Systems : The Quasimodo Project by Larsen, Kim G., Tretmans, J... ISBN: 9789400713680 List Price: $139.00

OUT OF STOCK

See Availability on Amazon
3.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Brinksma, Ed, Cleaveland, W... ISBN: 9783662170984 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems by Larsen, Kim G., Niebert, Peter ISBN: 9783662165423 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Computer Aided Verification
Computer Aided Verification by Larsen, Kim G., Skou, Arne ISBN: 9783662167816 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Concur 2001 - Concurrency Theory
Concur 2001 - Concurrency Theory by Larsen, Kim G., Nielsen, Mo... ISBN: 9783662169094 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Computer Aided Verification : 14th International Conference, Cav 2002 Copenhagen, Denmark, J...
Computer Aided Verification : 14th International Conference, Cav 2002 Copenhagen, Denmark, J... by Brinksma, Ed, Larsen, Kim G. ISBN: 9783662188866 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard S...
Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard S... by Margaria, Tiziana, Graf, Su... ISBN: 9783030223472 List Price: $89.99
$51.31 (Save 42%)
9.
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, ...
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, ... by Klaus; Larsen, Kim G.; Boua... ISBN: 9780818682698

OUT OF STOCK

See Availability on Amazon
10.
Dependable Software Engineering. Theories, Tools, and Applications : Third International Sym...
Dependable Software Engineering. Theories, Tools, and Applications : Third International Sym... by Larsen, Kim G., Sokolsky, O... ISBN: 9783319694825 List Price: $84.00
$51.31 (Save 38%)